Verification in Incomplete Argumentation Frameworks

We tackle the problem of expressing incomplete knowledge in abstract argumentation frameworks originally introduced by Dung [15]. In applications, incomplete argumentation frameworks may arise as intermediate states in an elicitation process, or when merging different beliefs about an argumentation framework’s state, or in cases where complete information cannot be obtained. We consider two specific models of incomplete argumentation frameworks, one focusing on attack incompleteness [4] and the other on argument incompleteness [5], and we also provide a general model of incomplete argumentation framework that subsumes both specific models. In these models, we study the computational complexity of variants of the verification problem with respect to common semantics of argumentation frameworks.